Redistribution in distributed Ada

Redistribution in Distributed Ada

In this paper we will provide a model using Ada and the Distributed Annex for relocating concurrent objects in a distributed dataaow application. This model will be used to provide passive and active error tolerance as well as the basis for a load balancing superstructure. Care will be taken to demonstrate how errors are trapped and propagated across partitions containing multiple threads of ex...

Debugging Distributed Ada Programs

This is the final report on the PAPA (Distributed Ada Debugging) project (MoD Contract number: NUW72D/1090). The project’s objective was to determine the requirements of a tool to support the testing and debugging of a distributed system implemented in Ada and produce a specification for such a tool. The work was to support the SMCS project being conducted by BAe Sema on behalf of the Ministry ...

Secure Communication in Distributed Ada

This document describes an implementation of secure communication for distributed applications in Ada 95. It explains the basics of cryptography and introduces the problem of key exchange. After a brief description of distributed systems in Ada 95, the modular structure of the implementation and the way it handles key distribution is presented.

Distributed Ada: case study

I owe Prof. Volz a deep sense of gratitude for his valuable, generous guidance during my PhD and also during the initial phases of my career. He has this amazing willingness to help me in all aspects of my career. I have always valued his advice based on his deep insight fully knowing that at all times he has my best interests in mind at all times. He has always been open to my ideas and suppor...

Distributed and parallel Ada and the Ada 9X recommendations